Realization Theory of Nonlinear Hybrid Sys- tems
نویسنده
چکیده
The paper investigates the realization problem for a class of analytic nonlinear hybrid systems without autonomous switching. Similarly to the classical nonlinear realization theory the realization problem for hybrid systems is translated to a formal realization problem of a class of abstract systems defined on rings of formal power series. Necessary conditions are presented for existence of a realization by such an abstract system and thus by a hybrid system. A notion analogous to the Lie-rank of nonlinear input-output maps is defined and the presented necessary condition involves a requirement that this generalised Lie-rank should be finite. We will also introduce the notion of strong Lie-rank and we will show that finiteness of the strong Lie-rank implies existence of a realization which is very close to the required hybrid system realization. Thus, finiteness of the strong Lie-rank can be seen as an "almost" sufficient condition. In the special case of nonlinear analytic systems both the finite Lie-rank and the finite strong Lie-rank condition presented in the paper reduces to the well-known finite Lie-rank condition. We will use theory of Sweedler-type coalgebras for studying the formal realization problem.
منابع مشابه
Comparative study on canal preparation by three rotary sys-tems using CT scan (An in vitro study)
Comparative study on canal preparation by three rotary sys-tems using CT scan (An in vitro study) Dr. M.H. Zarrabi* - Dr. A. Talati** - Dr. S. Moradi** - Dr. L. Shakeri*** * - Associate Professor and Chief of Endodontics Dept. - Faculty of Dentistry – Mashhad University of Medical Sciences. **- Assistant Professor of Endodontics Dept. - Faculty of Dentistry – Mashhad University of Medical Scien...
متن کاملA necessary condition for local asymptotic stability of discrete-time nonlinear systems with exogenous disturbance
K e y w o r d s D i s c r e t e t i m e nonlinear systems, Control systems, Asymptotic stability, Robust control. 1. I N T R O D U C T I O N Local a sympto t i c s tab i l i za t ion of non l inea r control sys tems is one of the cen t ra l p roblems in control sys tems l i te ra ture . I t is one of the p r im a ry design cr i ter ia in physical , engineer ing, and indus t r i a l problems. Th...
متن کاملAn object-oriented approach to software development for parallel processing systems
Despite the rapid advances i n development of parallel processing sys tems in recent years, the progress i n software development t o effectively utilize the parallel processing sys tems has been relatively slow. I n this paper, a n object-oriented approach t o software development for parallel processing sys tems i s presented. T h i s approach i s based o n a computat ion model which incorpor...
متن کاملTowards a Domain Theory for Termination Proofs
We present a general framework for termination proofs for Higher Order Rewrite Sys tems The method is tailor made for having simple proofs showing the termination of enriched calculi
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006